- condensed detachment
- 压缩分离法
English-Chinese computer dictionary (英汉计算机词汇大词典). 2013.
condensed detachment
Look at other dictionaries:
Condensed detachment — (Rule D) is a method of finding the most general possible conclusion given two formal logical statements. It was developed by the Irish logician Carew Meredith in the 1950s and inspired by the work of Łukasiewicz. Contents 1 Informal description… … Wikipedia
Combinatory logic — Not to be confused with combinational logic, a topic in digital electronics. Combinatory logic is a notation introduced by Moses Schönfinkel and Haskell Curry to eliminate the need for variables in mathematical logic. It has more recently been… … Wikipedia
Carew Arthur Meredith — (generally C. A. Meredith on publications) (July 28, 1904 ndash; March 31, 1976) was an influential Irish logician, appointed to Trinity College, Dublin in 1947. His work on condensed detachment (inspired by the work of Łukasiewicz) was under… … Wikipedia
Kombinator — Kombinatorische Logik (Abgekürzt CL für engl. Combinatory Logic) ist eine Notation, die von Moses Schönfinkel und Haskell Brooks Curry eingeführt wurde, um die Verwendung von Variablen in der Mathematischen Logik zu vermeiden. Sie wird besonders… … Deutsch Wikipedia
Kombinatorische Logik — (Abgekürzt CL für engl. Combinatory Logic) ist eine Notation, die von Moses Schönfinkel und Haskell Brooks Curry eingeführt wurde, um die Verwendung von Variablen in der Mathematischen Logik zu vermeiden. Sie wird besonders in der Informatik als… … Deutsch Wikipedia
Physical Sciences — ▪ 2009 Introduction Scientists discovered a new family of superconducting materials and obtained unique images of individual hydrogen atoms and of a multiple exoplanet system. Europe completed the Large Hadron Collider, and China and India took… … Universalium
Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; … Universalium
luminescence — luminescent, adj. /looh meuh nes euhns/, n. 1. the emission of light not caused by incandescence and occurring at a temperature below that of incandescent bodies. 2. the light produced by such an emission. [1885 90; < L lumin (see LUMEN) +… … Universalium
HC-4 — Infobox Military Unit unit name= Helicopter Combat Support Squadron 4 caption= HC 4 insignia dates= May 6, 1983 28 September 2007 [ [http://www.navy.mil/search/display.asp?story id=32162 Black Stallions Disestablish After 24 Years ] ] country=… … Wikipedia
English literature — Introduction the body of written works produced in the English language by inhabitants of the British Isles (including Ireland) from the 7th century to the present day. The major literatures written in English outside the British Isles are… … Universalium
painting, Western — ▪ art Introduction history of Western painting from its beginnings in prehistoric times to the present. Painting, the execution of forms and shapes on a surface by means of pigment (but see also drawing for discussion of depictions in … Universalium
